條件項重寫系統(tǒng) ordering for term-rewriting system: 項重寫系統(tǒng)排序term rewriting system: 檢索詞重寫系統(tǒng); 術(shù)語重寫系統(tǒng)term rewriting: 項重寫rewriting system: 重寫系統(tǒng)constant term of conditional equation: 條件方程式常數(shù)項下載手機詞典可隨時隨地查詞查翻譯